loop invariant - Alemán Inglés Diccionario